13.86/15.87	unsat
