17.46/19.48	unsat
