12.96/15.17	unsat
