3.78/3.89	unsat
