10.07/13.73	unsat
