19.54/22.14	unsat
