12.96/16.36	unsat
