15.26/15.82	unsat
