2.86/2.95	unsat
