17.48/17.91	unsat
