10.38/15.73	unsat
