3.48/4.91	unsat
