4.80/4.94	unsat
