14.26/17.39	unsat
