1.19/3.07	unsat
