3.45/3.77	unsat
