19.45/22.44	unsat
