14.86/14.93	unsat
