3.83/4.94	unsat
