13.47/16.88	unsat
