14.66/17.39	unsat
