13.86/14.86	unsat
