5.86/6.74	unsat
