10.07/12.86	unsat
