18.64/18.81	unsat
