10.60/10.72	unsat
