3.78/3.88	unsat
