10.88/13.73	unsat
