15.36/15.86	unsat
