13.86/13.93	unsat
