3.86/4.10	unsat
