3.69/3.78	unsat
