3.09/3.77	unsat
