3.77/3.81	unsat
