3.68/3.77	unsat
