15.57/17.86	unsat
