19.25/21.43	unsat
