4.86/4.90	unsat
