15.06/15.77	unsat
