17.84/18.40	unsat
