13.86/13.96	unsat
