19.07/19.34	unsat
