12.96/16.17	unsat
