17.36/17.48	unsat
