17.54/19.84	unsat
