26.86/29.96	unsat
