1.78/3.19	unsat
