17.35/17.48	unsat
