4.79/4.90	unsat
