14.86/17.23	unsat
