17.23/18.03	unsat
