15.93/17.41	unsat
