4.41/4.77	unsat
