13.86/13.91	unsat
