17.04/18.39	unsat
