17.94/19.44	unsat
