14.36/17.42	unsat
