4.87/4.94	unsat
