4.87/4.90	unsat
