4.78/4.90	unsat
