13.07/15.73	unsat
