17.03/18.64	unsat
