15.31/15.86	unsat
