17.26/18.39	unsat
