3.77/3.83	unsat
