16.96/20.02	unsat
