3.96/4.91	unsat
