3.77/4.04	unsat
