3.77/3.88	unsat
