17.46/20.20	unsat
