1.86/4.95	unsat
