1.19/3.34	unsat
