19.57/22.41	unsat
