17.94/20.50	unsat
