19.54/22.08	unsat
