5.86/5.95	unsat
