14.75/17.49	unsat
